Natural proof - PDFSEARCH.IO - Document Search Engine

Natural proof
Results: 343

#	Item
91	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-16 03:50:46 Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science
92	Analysis of some natural variants of the PKP Algorithm Rodolphe LAMPE and Jacques PATARIN PRISM - University of Versailles In 1989, Adi Shamir [15] proposed a new zero-knowledge identication scheme Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-07-04 14:25:42 Zero-knowledge proof Cryptographic hash functions Cryptography Polish State Railways IP
93	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
94	[hal, v2] Polarizing Double Negation Translations Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:15:20 Sequent calculus Sequent Entailment Intuitionistic logic Gödel–Gentzen negative translation Natural deduction Curry–Howard correspondence Logic Mathematical logic Proof theory
95	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
96	Notre Dame Journal of Formal Logic A Simple Proof That Super-Consistency Implies Cut Elimination Gilles Dowek and Olivier Hermant Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-02-21 08:17:51 Mathematical logic Proof theory Natural deduction Entailment Function Curry–Howard correspondence Orbifold Logic Mathematics Deduction
97	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 1, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:45:32 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics
98	[hal, v1] Semantic A-translation and Super-consistency entail Classical Cut Elimination Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 09:59:08 Proof theory Propositional calculus Deduction Boolean algebra Algebraic logic Natural deduction Heyting algebra Sequent calculus Negation Logic Mathematical logic Mathematics
99	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science
100	A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo∗ Guillaume Burel ´ ENSIIE/C´ Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:17:21 Symbol Mathematics Curry–Howard correspondence Logic Natural deduction Proof theory Logic in computer science Mathematical logic

UPDATE